((v1 v2 8) (v1 v3 7) (v2 v3 1) (v1 v4 4) (v2 v4 0) (v3 v4 5) (v1 v5 4) (v2 v5 0) (v3 v5 3) (v4 v5 1) (v1 v6 7) (v2 v6 9) (v3 v6 1) (v4 v6 6) (v5 v6 2) (v1 v7 8) (v2 v7 1) (v3 v7 9) (v4 v7 9) (v5 v7 9) (v6 v7 8) (v1 v8 7) (v2 v8 5) (v3 v8 4) (v4 v8 1) (v5 v8 6) (v6 v8 8) (v7 v8 4) (v1 v9 3) (v2 v9 0) (v3 v9 2) (v4 v9 9) (v5 v9 9) (v6 v9 1) (v7 v9 0) (v8 v9 4) (v1 v10 7) (v2 v10 4) (v3 v10 2) (v4 v10 0) (v5 v10 9) (v6 v10 9) (v7 v10 7) (v8 v10 3) (v9 v10 5))
114
((v9 v7) (v7 v2) (v6 v5) (v2 v4) (v9 v4))